(set-logic QF_LRA)
(declare-fun v3 () Bool)
(declare-fun v8 () Bool)
(declare-fun v9 () Bool)
(declare-fun v11 () Bool)
(check-sat)
(assert v11)
(assert (distinct (= v8 v3) v9))
(check-sat)
(declare-fun r14 () Real)
(assert (distinct (>= r14 0.0) v9))
(assert (distinct (>= r14 0.0) (= v8 v3)))
(push 1)
(check-sat)
(pop 1)
(check-sat)
